--- Makefile.dist	2012-03-09 23:24:38.000000000 +0100
+++ Makefile.dist	2012-03-09 23:25:45.000000000 +0100
@@ -1,7 +1,8 @@
 # $FreeBSD: src/usr.bin/make/Makefile.dist,v 1.4 2005/05/24 13:19:40 harti Exp $
 # a very simple makefile...
+
 pmake:
 	@echo 'make started.'
-	cc -DDEFSHELLNAME=\"sh\" -I. -c *.c
-	cc *.o -o pmake
+	${CC} ${CFLAGS} -DDEFSHELLNAME=\"sh\" -I. -c *.c
+	${CC} *.o -o pmake
 	@echo 'make completed.'
