diff -r 53e22f112b11 -r 15b3ca7ee33f make/update-rules.sh
--- a/make/update-rules.sh	Tue Nov 12 17:34:04 2024 +0100
+++ b/make/update-rules.sh	Mon Nov 18 22:05:42 2024 +0100
@@ -2,6 +2,7 @@
 
 dir="$1"
 target="$2"
+extra_flags="$3"
 
 if [ -z "$dir" ]; then
   echo "Usage: $0 <src_dir>"
@@ -46,8 +47,8 @@
 sed '/FORCE:/q' Makefile.old > Makefile
 echo >> Makefile
 for file in `ls *.c` ; do
-  "$CC" -MT "$target/${file/.c/\$(OBJ_EXT)}" -MM $CFLAGS "$file"
+  "$CC" -MT "$target/${file/.c/\$(OBJ_EXT)}" -MM $CFLAGS $extra_flags "$file"
   printf '\t@echo "Compiling $<"\n'
-  printf '\t$(CC) -o $@ $(CFLAGS) -c $<\n\n'
+  printf '\t$(CC) -o $@ $(CFLAGS) %s -c $<\n\n' "$extra_flags"
 done  >> Makefile
 rm Makefile.old