diff options
author | 2018-11-08 19:02:57 (GMT) | |
---|---|---|
committer | 2018-11-08 19:02:57 (GMT) | |
commit | 56cad6c9deb92dc42aaba1beb656ffcb88ca8962 (patch) | |
tree | 8e4d5377c4c8ae7e42b356494252e093df1e4993 /paths.sh.in | |
parent | eabb3ec189cb872cfb6201c572bc58c3df4b8771 (diff) | |
parent | 0229bc415ea9f2fe7c4a89178d955e57d729d7ba (diff) |
Merge pull request #1086 from roolebo/make-aliases
Provide more tool overrides
Diffstat (limited to 'paths.sh.in')
-rw-r--r-- | paths.sh.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/paths.sh.in b/paths.sh.in index ad42916..7b57a8a 100644 --- a/paths.sh.in +++ b/paths.sh.in @@ -1,7 +1,10 @@ export install="@INSTALL@" export bash="@BASH_SHELL@" +export bison="@BISON@" export awk="@AWK@" export grep="@GREP@" +export gmake="@MAKE@" +export gnumake="@MAKE@" export make="@MAKE@" export sed="@SED@" export libtool="@LIBTOOL@" |