diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-07-18 09:39:43 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-18 09:39:43 +0200 |
commit | 31826c60e18957d0f6f098a4401fca2e6ad6e83b (patch) | |
tree | f6f5126f67862fc285151f9439a469f68a3c531b | |
parent | 0e9fb4a8692f8d06a468a6075518714ae3ddeed3 (diff) | |
parent | 5526683ad3e259f1c02461c48c7e109de185383d (diff) |
Merge pull request #3832 from Mic92/shell-impurity
fix make's impurity on /bin/sh
-rw-r--r-- | Makefile.config.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.config.in b/Makefile.config.in index b632444e8..5c245b8e9 100644 --- a/Makefile.config.in +++ b/Makefile.config.in @@ -19,6 +19,7 @@ LIBLZMA_LIBS = @LIBLZMA_LIBS@ OPENSSL_LIBS = @OPENSSL_LIBS@ PACKAGE_NAME = @PACKAGE_NAME@ PACKAGE_VERSION = @PACKAGE_VERSION@ +SHELL = @bash@ SODIUM_LIBS = @SODIUM_LIBS@ SQLITE3_LIBS = @SQLITE3_LIBS@ bash = @bash@ |