diff options
Diffstat (limited to 'src/plugin/Makefile')
| -rw-r--r-- | src/plugin/Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/src/plugin/Makefile b/src/plugin/Makefile deleted file mode 100644 index 93781cd..0000000 --- a/src/plugin/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -all:
- cd src && $(MAKE)
- cp ./lib/plugctrl.a ../lib
-clean:
- cd src && $(MAKE) clean
-opt:
- $(MAKE) all
-
|
