diff options
Diffstat (limited to 'translate/ghdldrv/Makefile')
| -rw-r--r-- | translate/ghdldrv/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/translate/ghdldrv/Makefile b/translate/ghdldrv/Makefile index 221a4a609..fe859f273 100644 --- a/translate/ghdldrv/Makefile +++ b/translate/ghdldrv/Makefile @@ -166,6 +166,9 @@ clean: force $(RM) -f b~*.ad? *~ default_pathes.ads ghdl_simul $(RM) -rf ../lib +clean-c: force + $(RM) -f memsegs_c.o chkstk.o linux.o times.o grt-cbinding.o grt-cvpi.o + force: .PHONY: force clean |