]> gitweb.michael.orlitzky.com - dead/census-tools.git/blobdiff - makefile
Merged the documentation additions and most recent makefile modification (branch...
[dead/census-tools.git] / makefile
index 7b0c37511549e24794729402932d5356d624d3a3..5384ded55875ebdf6de7e85eb0a656d0191aba41 100644 (file)
--- a/makefile
+++ b/makefile
@@ -64,7 +64,8 @@ data:
 # of the sf1blocks2sql script.
 #
 db: data
-       dropdb -U $(DB_USER) $(DB_NAME)
+       # Ignore the result of dropdb when it fails.
+       dropdb -U $(DB_USER) $(DB_NAME) || true
        createdb -U $(DB_USER) $(DB_NAME)
        createlang -U $(DB_USER) plpgsql $(DB_NAME)