exchange

commit 7876bc06004e45c470aa9bfcd4ab4e8bed6464e4
parent 03cfd2b1e548c24f6572f58d3838f8d5b12c7501
Author: Christian Grothoff <christian@grothoff.org>
Date:   Mon, 13 Jun 2022 09:46:31 +0200

-prevent editing generated files

Diffstat:
M
src/exchangedb/Makefile.am
 | 
5
+++++

1 file changed, 5 insertions(+), 0 deletions(-)
diff --git a/src/exchangedb/Makefile.am b/src/exchangedb/Makefile.am
@@ -41,18 +41,23 @@ CLEANFILES = \
 
 exchange-0001.sql: common-0001.sql exchange-0001-part.sql
 	cat common-0001.sql exchange-0001-part.sql >$@
+	chmod -w $@
 
 shard-0001.sql: common-0001.sql shard-0001-part.sql
 	cat common-0001.sql shard-0001-part.sql >$@
+	chmod -w $@
 
 shard-0000.sql: exchange-0000.sql
 	cp exchange-0000.sql $@
+	chmod -w $@
 
 drop0001.sql: drop-common.sql drop0001-exchange-part.sql
 	cat drop-common.sql drop0001-exchange-part.sql >$@
+	chmod -w $@
 
 shard-drop0001.sql: drop-common.sql drop0001-shard-part.sql
 	cat drop-common.sql drop0001-shard-part.sql >$@
+	chmod -w $@
 
 EXTRA_DIST = \
   exchangedb.conf \