diff options
| -rwxr-xr-x | community/notmuch/build | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/community/notmuch/build b/community/notmuch/build index b48f9221..86e207f4 100755 --- a/community/notmuch/build +++ b/community/notmuch/build @@ -1,5 +1,8 @@ #!/bin/sh -e +BASHCMD=$(command -v bash) || BASHCMD=sh +export BASHCMD + ./configure \ --prefix=/usr \ --without-docs \ |