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 | |
parent | e9122394f97d54a6b28b4dd52db24e22cb1ab340 (diff) | |
download | jet-b25c3aef7c6a40e248964e3a551e2c16762dc370.tar.gz jet-b25c3aef7c6a40e248964e3a551e2c16762dc370.zip |
Add another Makefile for easy access
-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 |