diff options
| author | Christian Neukirchen <chneukirchen@gmail.com> | 2015-09-01 16:21:51 +0200 |
|---|---|---|
| committer | Christian Neukirchen <chneukirchen@gmail.com> | 2015-09-01 16:21:51 +0200 |
| commit | 729ce70fef0b67859c326ed0e7054cde3c7610c3 (patch) | |
| tree | ded6ed8898368042bf5107bfd335932f45e20825 | |
| parent | 821e67289342f295d4dcc6dbb52b895dfc282a88 (diff) | |
| download | redo-c-729ce70fef0b67859c326ed0e7054cde3c7610c3.tar.gz redo-c-729ce70fef0b67859c326ed0e7054cde3c7610c3.tar.xz redo-c-729ce70fef0b67859c326ed0e7054cde3c7610c3.zip | |
Build redo with redo...
| -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 |