From 2662f162ff44e087251d0eaeebcf85b6f228bc11 Mon Sep 17 00:00:00 2001 From: Tanganelli Date: Thu, 9 Apr 2015 16:18:11 +0200 Subject: [PATCH] bug fix on platform desktop Makefile --- src/platform/desktop/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/platform/desktop/Makefile b/src/platform/desktop/Makefile index 2f59866..c90d158 100644 --- a/src/platform/desktop/Makefile +++ b/src/platform/desktop/Makefile @@ -34,7 +34,7 @@ $(PM_LIB_PATH) : ../../vm/*.c ../../vm/*.h make -C ../../vm $(TARGET).out : $(OBJS) $(PM_LIB_PATH) - $(CC) -lm -o $@ $(OBJS) $(PM_LIB_PATH) + $(CC) -o $@ $(OBJS) $(PM_LIB_PATH) -lm pmfeatures.h : pmfeatures.py $(PMGENPMFEATURES) $(PMGENPMFEATURES) pmfeatures.py > $@