diff options
| author | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-07-17 23:41:26 -0300 |
|---|---|---|
| committer | Juan Manuel Tomás <jtomas1815@gmail.com> | 2020-07-17 23:41:26 -0300 |
| commit | b25c3aef7c6a40e248964e3a551e2c16762dc370 (patch) | |
| tree | e8d04115e3364d5b80c3ae204d98afa3694d5917 /src/Makefile | |
| parent | e9122394f97d54a6b28b4dd52db24e22cb1ab340 (diff) | |
| download | jet-b25c3aef7c6a40e248964e3a551e2c16762dc370.tar.gz jet-b25c3aef7c6a40e248964e3a551e2c16762dc370.zip | |
Add another Makefile for easy access
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile b/src/Makefile new file mode 100644 index 0000000..142f3b2 --- /dev/null +++ b/src/Makefile @@ -0,0 +1,4 @@ +_PHONY=all + +all: + cd .. && make |