Browse Source

prefer to use /bin/bash over bash (which might show up as /usr/bin/bash)

Samuel Thibault 6 years ago
parent
commit
e307816928
1 changed files with 1 additions and 1 deletions
  1. 1 1
      configure.ac

+ 1 - 1
configure.ac

@@ -512,7 +512,7 @@ AC_HEADER_STDC
 AC_C_RESTRICT
 
 # Check if bash is available
-AC_PATH_PROGS([REALBASH], [bash])
+AC_PATH_PROG([REALBASH], [bash], , [/bin:$PATH])
 
 # Record git version
 AC_PATH_PROG(gitcommand, git)