diff options
| author | Bdale Garbee <bdale@gag.com> | 2018-10-06 18:55:05 -0600 |
|---|---|---|
| committer | Bdale Garbee <bdale@gag.com> | 2018-10-06 18:55:05 -0600 |
| commit | 073ebc77bbd813eb97c515ecf3c2d104d6157843 (patch) | |
| tree | 806bfb284bd1901a5aa18c7d50bbceb804102489 /configure.ac | |
| parent | fb167d9f589d3e42e0f99b9f454a51a31e09050a (diff) | |
| parent | 9e29ac8ed9a48fc4ac8e769eeb131dd7c58fedc4 (diff) | |
Merge branch 'master' of ssh://git.gag.com/scm/git/fw/altos
Diffstat (limited to 'configure.ac')
| -rw-r--r-- | configure.ac | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index a14762b0..1705745d 100644 --- a/configure.ac +++ b/configure.ac @@ -184,6 +184,12 @@ else HAVE_GOOGLE_KEY="no" fi +AC_ARG_ENABLE(faketime, AS_HELP_STRING([--enable-faketime], + [Use faketime program to ensure pdf files are reproducible (default=no)]), + [FAKETIME=$enableval], [FAKETIME=no]) + +AM_CONDITIONAL(FAKETIME, [test x$FAKETIME = xyes]) + AC_SUBST(GOOGLEKEY) AC_PROG_CC @@ -565,6 +571,9 @@ ao-tools/ao-usbtrng/Makefile ao-tools/ao-chaosread/Makefile ao-tools/ao-makebin/Makefile ao-utils/Makefile +map-server/Makefile +map-server/altos-mapd/Makefile +map-server/altos-map/Makefile src/Version ]) |