diff options
Diffstat (limited to 'externals')
-rw-r--r-- | externals/Makefile.am | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/externals/Makefile.am b/externals/Makefile.am index 854a65268095..981506ebb095 100644 --- a/externals/Makefile.am +++ b/externals/Makefile.am @@ -2,6 +2,8 @@ DB = db-4.5.20 +if OLD_DB_COMPAT + $(DB).tar.gz: @echo "Nix requires Berkeley DB to build." @echo "Please download version 4.5.20 from" @@ -32,6 +34,12 @@ build-db: have-db touch build-db endif +else + +build-db: + +endif + # CWI ATerm |