Makefile
branchlicences
changeset 2 0ec8460ce101
parent 0 eb87a3f29802
equal deleted inserted replaced
1:026da1945043 2:0ec8460ce101
    14 
    14 
    15 install: 
    15 install: 
    16 	mkdir -p $(INSTALL_DIR)
    16 	mkdir -p $(INSTALL_DIR)
    17 	cp $(DIST_FILES) $(INSTALL_DIR)
    17 	cp $(DIST_FILES) $(INSTALL_DIR)
    18 
    18 
       
    19 validate:
       
    20 
    19 clean:
    21 clean:
    20 
    22