diff options
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | Makefile.nt | 1 |
2 files changed, 0 insertions, 2 deletions
@@ -467,7 +467,6 @@ utils/config.ml: utils/config.mlp config/Makefile -e 's|%%HOST%%|$(HOST)|' \ -e 's|%%TARGET%%|$(TARGET)|' \ utils/config.mlp > utils/config.ml - @chmod -w utils/config.ml partialclean:: rm -f utils/config.ml diff --git a/Makefile.nt b/Makefile.nt index c473b8a38..648c918df 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -392,7 +392,6 @@ utils/config.ml: utils/config.mlp config/Makefile -e 's|%%HOST%%|$(HOST)|' \ -e 's|%%TARGET%%|$(TARGET)|' \ utils/config.mlp > utils/config.ml - @chmod -w utils/config.ml partialclean:: rm -f utils/config.ml |