X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=ccb1b248e7908e5b506657b6890680c7e038e2b7;hb=02c7bf893b54aad91d376c3ca47d156401ae2f7c;hp=96dff3333baee35778395a0d9f479057a7e3ce83;hpb=4e649cb802e19d506df4d5f3824d8e7a2e120027;p=helm.git diff --git a/helm/scripts/Makefile b/helm/scripts/Makefile index 96dff3333..ccb1b248e 100644 --- a/helm/scripts/Makefile +++ b/helm/scripts/Makefile @@ -1,5 +1,6 @@ all: + chmod ug+w marcello*rc phd*rc ./makeit V7 marcello marcello marcello.cshrc ./makeit V7 marcello marcello marcello.rc ./makeit V7 marcello phd marcello_phd.cshrc @@ -17,6 +18,7 @@ all: ./makeit V7_mowgli phd marcello phd_marcello_mowgli.cshrc ./makeit V7_mowgli phd marcello phd_marcello_mowgli.rc chmod a+x marcello*rc phd*rc + chmod ug-w marcello*rc phd*rc clean: rm -f marcello*rc phd*rc