X-Git-Url: https://git.gag.com/?p=fw%2Faltos;a=blobdiff_plain;f=src%2Fstm-demo%2FMakefile;fp=src%2Fstm-demo%2FMakefile;h=990968c2f48ca1b5d77229220384f8ebf63a631b;hp=48fa07ebf5240b881dfdaada8ee76f63e743a325;hb=d8d3835fedf9b7c4d203f321e72c2b086ebb3b97;hpb=7f6cbfac7c1965add91ebfc28ca3eac4561b4fb6

diff --git a/src/stm-demo/Makefile b/src/stm-demo/Makefile
index 48fa07eb..990968c2 100644
--- a/src/stm-demo/Makefile
+++ b/src/stm-demo/Makefile
@@ -56,7 +56,7 @@ all: $(ELF) $(IHX)
 LDFLAGS=-L../stm -Wl,-Taltos.ld
 
 $(ELF): Makefile $(OBJ)
-	$(call quiet,CC) $(LDFLAGS) $(CFLAGS) -o $@ $(OBJ) $(SAT_CLIB) -lgcc
+	$(call quiet,CC) $(LDFLAGS) $(CFLAGS) -o $@ $(OBJ) $(LIBS)
 
 ao_product.h: ao-make-product.5c ../Version
 	$(call quiet,NICKLE,$<) $< -m altusmetrum.org -i $(IDPRODUCT) -p $(PRODUCT) -v $(VERSION) > $@