]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/scripts/Makefile
Scripts simplified (since now we have only one cluster and only one
[helm.git] / helm / scripts / Makefile
index 8b20831afbd70d7634caeedd2b92a90f1d78b423..be6ba219843067293ce64b2bd831970f3e7d7134 100644 (file)
@@ -1,19 +1,15 @@
 
 all: 
-       - chmod ug+w marcello*rc phd*rc
-       ./makeit V7_mowgli marcello marcello <template.cshrc >marcello_mowgli.cshrc
-       ./makeit V7_mowgli marcello marcello <template.rc >marcello_mowgli.rc
-       ./makeit V7_mowgli marcello phd <template.cshrc >marcello_phd_mowgli.cshrc
-       ./makeit V7_mowgli marcello phd <template.rc >marcello_phd_mowgli.rc
-       ./makeit V7_mowgli phd phd <template.cshrc >phd_mowgli.cshrc
-       ./makeit V7_mowgli phd phd <template.rc >phd_mowgli.rc
-       ./makeit V7_mowgli phd marcello <template.cshrc >phd_marcello_mowgli.cshrc
-       ./makeit V7_mowgli phd marcello <template.rc >phd_marcello_mowgli.rc
-       chmod a+x marcello*rc phd*rc
-       chmod ug-w marcello*rc phd*rc
+       - chmod ug+w phd*rc
+       ./makeit phd <template.cshrc >phd_mowgli.cshrc
+       ./makeit phd <template.rc >phd_mowgli.rc
+       ./makeit marcello <template.cshrc >phd_marcello_mowgli.cshrc
+       ./makeit marcello <template.rc >phd_marcello_mowgli.rc
+       chmod a+x phd*rc
+       chmod ug-w phd*rc
 
 clean:
-       rm -f marcello*rc phd*rc
+       rm -f phd*rc
 
 cleanbak:
        rm -f *~