diff --git a/runtime/Makefile b/runtime/Makefile index 2b85585..eb00610 100644 --- a/runtime/Makefile +++ b/runtime/Makefile @@ -11,9 +11,6 @@ CC_OPTIONS = -O3 -flto -g -pthread -D_GNU_SOURCE BINARY_NAME=sledgert -# Number of Cores. Options: {2...N or TOTAL_CORES} -NCORES = ${TOTAL_CORES} - # Options: {USE_MEM_GENERIC, USE_MEM_VM} USE_MEM = USE_MEM_VM @@ -54,11 +51,11 @@ CFLAGS += -DDEBUG # Useful to debug if sandboxes are "getting caught" or "leaking" while in a local runqueue # CFLAGS += -DLOG_LOCAL_RUNQUEUE -# System Configuraiton Flags +# System Configuration Flags # Sets a flag equal to the processor architecture CFLAGS += -D${ARCH} -CFLAGS += -DNCORES=${NCORES} +CFLAGS += -DNCORES=${TOTAL_CORES} CFLAGS += -DPAGE_SIZE=$(PAGE_SIZE) #CFLAGS += -DPREEMPT_DISABLE #CFLAGS += -DUSE_HTTP_UVIO #-DUSE_HTTP_SYNC