Merge branch 'jc/gitlink' into next
[gitweb.git] / pager.c
diff --git a/pager.c b/pager.c
index b063353d96eb6d526438c1fa22cacd28bc12b0c1..9a30939016620072f319b5fef81d0c913513a641 100644 (file)
--- a/pager.c
+++ b/pager.c
@@ -8,6 +8,7 @@
 static void run_pager(const char *pager)
 {
        execlp(pager, pager, NULL);
+       execl("/bin/sh", "sh", "-c", pager, NULL);
 }
 
 void setup_pager(void)
@@ -47,5 +48,6 @@ void setup_pager(void)
 
        setenv("LESS", "-S", 0);
        run_pager(pager);
+       die("unable to execute pager '%s'", pager);
        exit(255);
 }