1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

Merge branch 'production' of github.com:RWTH-OS/HermitCore into production

This commit is contained in:
Stefan Lankes 2017-01-17 20:30:52 +01:00
commit 7bd35ce3a1

View file

@ -34,7 +34,7 @@ $(NAME): $(OBJS)
install:
$Q$(INSTALL_DATA) $(NAME) $(prefix)/$(CROSSPREFIX)/lib
$Q$(INSTALL_DATA) -d *.h $(prefix/$(CROSSPREFIX)/include
#$Q$(INSTALL_DATA) RCCE*.h $(prefix/$(CROSSPREFIX)/include
clean:
@echo Cleaning examples