Changeset 9772 for trunk/tools

Timestamp:

Feb 6, 2003, 10:03:43 PM (23 years ago)

Author:

bird

Message:

Restructured it a little bit.

File:

• trunk/tools/DailyBuild/odin32clean.cmd (modified) (2 diffs)

trunk/tools/DailyBuild/odin32clean.cmd

@@ -1 @@
-/* $Id: odin32clean.cmd,v 1.4 2002-09-05 01:05:47 bird Exp $
+/* $Id: odin32clean.cmd,v 1.5 2003-02-06 21:03:43 bird Exp $
  *
  * Removes trees. WARNING!!!!! All tree<date> directories are removed
@@ -32 +32 @@
             do
                 parse source . . sSrc
-                filespec('drive', sSrc)||filespec('path', sSrc)||'rm -rF "'asTrees.i'"';
+                filespec('drive', sSrc)||filespec('path', sSrc)||'\bin\rm -rF "'asTrees.i'"';
             end
             say asTrees.i