diff --git a/Makefile b/Makefile
index e648a1ee87600b16387e03336ddd8d1d6bb7dfe0..421995c16aad426156382ad267fa67b5dee240c5 100644
--- a/Makefile
+++ b/Makefile
@@ -19,10 +19,6 @@ NATIVE := true
 # If defined, the dependencies will be updated automatically.
 CHECKDEP := 1
 
-# If defined, it indicates the number of cores
-# that make should use (e.g. -j2 for two cores).
-PARALLEL := -j2
-
 # The projects which will be compiled if "make all" is used.
 PROGS := coalg coalgcompare
 
@@ -59,8 +55,7 @@ LIBSMLI := $(patsubst %.mli,%.cmi,$(SOURCESMLI))
 LIBSML := $(patsubst %.ml,%$(SUFFIX),$(SOURCESML))
 
 .PHONY: all
-all:
-	$(MAKE) $(PARALLEL) $(PROGS)
+all: $(PROGS)
 
 minisat.cma: minisat.cmo minisat_stub.o
 	$(OCAMLC) -a -o minisat.cma minisat.cmo minisat_stub.o -custom -cclib -lminisat