]> git.saurik.com Git - redis.git/commitdiff
top level Makefile added, so you do not need to cd src
authorantirez <antirez@gmail.com>
Tue, 6 Jul 2010 16:54:54 +0000 (18:54 +0200)
committerantirez <antirez@gmail.com>
Tue, 6 Jul 2010 16:54:54 +0000 (18:54 +0200)
Makefile [new file with mode: 0644]

diff --git a/Makefile b/Makefile
new file mode 100644 (file)
index 0000000..711ef6f
--- /dev/null
+++ b/Makefile
@@ -0,0 +1,9 @@
+# Top level makefile, the real shit is at src/Makefile
+
+TARGETS=32bit noopt
+
+all:
+       cd src && $(MAKE) $@
+
+$(TARGETS) clean:
+       cd src && $(MAKE) $@