X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fscripts%2FMakefile;h=ccb1b248e7908e5b506657b6890680c7e038e2b7;hb=fee0de0784e725071b9d0742c139c19845f83713;hp=96dff3333baee35778395a0d9f479057a7e3ce83;hpb=511d370485b64a03233b7fc969e44ffbda9edaa9;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