moved files around

Extras/ode/tools/rm.c

@@ -0,0 +1,40 @@
+/*
+
+
+
+this is a simple replacement for the windows command line 'del' command.
+
+this is more convenient to use in the ODE makefile because of the following
+
+differences from 'del' :
+
+  * filenames may contain forward slashes.
+
+  * wildcard expansion is not performed.
+
+  * it is called 'rm', just like in unix.
+
+
+
+*/
+
+
+
+#include <stdio.h>
+
+#include <stdlib.h>
+
+
+
+int main (int argc, char **argv)
+
+{
+
+  int i;
+
+  for (i=1; i<argc; i++) unlink (argv[i]);
+
+  return 0;
+
+}
+