diff options
author | Paul Gevers <elbrus@debian.org> | 2014-12-10 22:05:19 +0100 |
---|---|---|
committer | Paul Gevers <elbrus@debian.org> | 2014-12-10 22:05:19 +0100 |
commit | dd97ea5afd2b5c42d183518400477013675fca41 (patch) | |
tree | e4a6430b6b97a47ff9f64833ad63081c74422ba3 /src/Makefile.in | |
parent | 87a5c2e1bf772e9400d9a6368ed53da46d44b887 (diff) |
Imported Upstream version 10.0
Diffstat (limited to 'src/Makefile.in')
-rw-r--r-- | src/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Makefile.in b/src/Makefile.in index 46bc25b..1574904 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -228,6 +228,7 @@ PATH_SEPARATOR = @PATH_SEPARATOR@ POSUB = @POSUB@ POW_LIB = @POW_LIB@ RANLIB = @RANLIB@ +SED = @SED@ SET_MAKE = @SET_MAKE@ SHELL = @SHELL@ STRIP = @STRIP@ |