diff --git a/config/makeMakefile.pl b/config/makeMakefile.pl deleted file mode 100644 index aab403e46..000000000 --- a/config/makeMakefile.pl +++ /dev/null @@ -1,30 +0,0 @@ -#!/usr/local/bin/perl -# -# makeMakefile.pl -# -# called from RULES_ARCHS -# -# -# Usage: perl makeMakefile.pl O.*-dir Makefile-Type - -$dir = $ARGV[0]; -$type= $ARGV[1]; -$makefile="$dir/Makefile"; - -if ($dir =~ m'O.(.+)') -{ - $t_a = $1; -} -else -{ - die "Cannot extract T_A from $dir"; -} - -mkdir ($dir, 0777) unless -d $dir; - -open OUT, "> $makefile" or die "Cannot create $makefile"; -print OUT "T_A=$t_a\n"; -print OUT "include ../Makefile.$type\n"; -close OUT; - -# EOF makeMakefile.pl