diff options
-rw-r--r-- | all.do | 1 | ||||
-rw-r--r-- | redo.do | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/all.do b/all.do new file mode 100644 index 0000000..33bbd44 --- /dev/null +++ b/all.do @@ -0,0 +1 @@ +redo-ifchange redo \ No newline at end of file diff --git a/redo.do b/redo.do new file mode 100644 index 0000000..42a43c0 --- /dev/null +++ b/redo.do @@ -0,0 +1,2 @@ +redo-ifchange redo.c +cc -g -Os -Wall -Wextra -Wwrite-strings -o $3 $1.c \ No newline at end of file |