diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/Makefile.template | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/config/Makefile.template b/config/Makefile.template index 407d17012..bd7bd09d3 100644 --- a/config/Makefile.template +++ b/config/Makefile.template @@ -91,5 +91,8 @@ MKDIR=mkdir -p # Win32 systems: true (actually strip is bogus) STRIP=STRIPCOMMAND +# Options for reals (all/basic) +REALS=REALSOPT + # make or sed are bogus and believe lines not terminating by a return # are inexistent |