diff options
author | Rafael Laboissiere <rafael@debian.org> | 2021-11-14 14:03:11 -0300 |
---|---|---|
committer | Rafael Laboissière <rafael@debian.org> | 2021-11-14 14:03:11 -0300 |
commit | edebec8d9a313a781415599613c0df3c6c5cc595 (patch) | |
tree | bd7e54a4bee5536dbc13761fc12252fef533fe29 | |
parent | 0747437763e964822b9f7841558c56a393de88e1 (diff) |
Do not strip the debugging symbols from _oc_polybool.oct
Forwarded: https://savannah.gnu.org/bugs/index.php?55343
Last-Update: 2020-05-26
Also, include the -g option to enable debugging option for all
compilers.
Gbp-Pq: Name do-not-strip-debugging-symbols.patch
-rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index e15c37a..6e5f736 100644 --- a/src/Makefile +++ b/src/Makefile @@ -40,7 +40,7 @@ compile: $(MKOCTFILE) -c -I. segmento.c -o segmento.o $(MKOCTFILE) -c -I. ventorno.c -o ventorno.o $(MKOCTFILE) -c -I. proyecaux.c -o proyecaux.o - $(MKOCTFILE) -s -I. _oc_polybool.cc *.o + $(MKOCTFILE) -g -I. _oc_polybool.cc *.o .PHONY: clean clean: |