diff options
| author | Michael Wittig <michael.wittig@fu-berlin.de> | 2010-10-14 15:26:47 +0200 |
|---|---|---|
| committer | Michael Wittig <michael.wittig@fu-berlin.de> | 2010-10-14 15:26:47 +0200 |
| commit | 6eef92b9297377aeb1fdd1e55fbb89ea38d1be78 (patch) | |
| tree | ac65aeb55c634d8cf8cdb6a53f33875cb53549d5 /server/Makefile | |
| parent | a844b69799ad2a223da778a3ce68ccd9102c3816 (diff) | |
| parent | 097d7f7dda9c405fb796e3228631a07192f36bd1 (diff) | |
| download | erlang-6eef92b9297377aeb1fdd1e55fbb89ea38d1be78.tar.gz erlang-6eef92b9297377aeb1fdd1e55fbb89ea38d1be78.tar.xz erlang-6eef92b9297377aeb1fdd1e55fbb89ea38d1be78.zip | |
Merge branch 'master' of ssh://git.animux.de/erlang
Diffstat (limited to 'server/Makefile')
| -rw-r--r-- | server/Makefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/server/Makefile b/server/Makefile new file mode 100644 index 0000000..a1c185b --- /dev/null +++ b/server/Makefile @@ -0,0 +1,5 @@ +all: + -$(MAKE) -C.. server + +clean: + -$(MAKE) -C.. clean-server |