diff options
Diffstat (limited to 'bin/bin.mpc')
-rw-r--r-- | bin/bin.mpc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/bin/bin.mpc b/bin/bin.mpc deleted file mode 100644 index 38c100259a0..00000000000 --- a/bin/bin.mpc +++ /dev/null @@ -1,13 +0,0 @@ -// -*- MPC -*- -// $Id$ - -project(bin) : aceexe, script { - exename = envinfo - Source_Files { - envinfo.cpp - } - Script_Files { - auto_run_tests.pl - ace_tests.lst - } -} |