diff options
Diffstat (limited to 'src/ovs/Makefile')
| -rw-r--r-- | src/ovs/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/ovs/Makefile b/src/ovs/Makefile index 9052d341..168939e6 100644 --- a/src/ovs/Makefile +++ b/src/ovs/Makefile @@ -66,6 +66,12 @@ clobber: cleanse: $(AT)cd $(WORK_DIR) && git clean -xfd && git checkout -f +test: + @echo "Make test in $(WORK_DIR) (stub) " + +sanity: + @echo "Make sanity in $(WORK_DIR) (stub) " + .PHONY: boot # boot ovs is the process to produce the script 'configure' boot $(WORK_DIR)/configure: |