diff --git a/makefile_linux b/makefile_linux index 5c1b1fb..100ea6a 100644 --- a/makefile_linux +++ b/makefile_linux @@ -8,8 +8,8 @@ # Mark Koennecke, February 2014 #========================================================================== -include $(SICSROOT)/sics/linux_def -#include $(SICSROOT)/sics/sllinux_def +#include $(SICSROOT)/sics/linux_def +include $(SICSROOT)/sics/sllinux_def CC = gcc