mirror of
https://github.com/ashinn/chibi-scheme.git
synced 2025-07-08 13:37:35 +02:00
marking generated .c files as "PRECIOUS" so they don't get automatically deleted
This commit is contained in:
parent
7050da677d
commit
a1622ad408
1 changed files with 1 additions and 0 deletions
1
Makefile
1
Makefile
|
@ -1,6 +1,7 @@
|
||||||
# -*- makefile-gmake -*-
|
# -*- makefile-gmake -*-
|
||||||
|
|
||||||
.PHONY: all libs doc dist clean cleaner test install uninstall
|
.PHONY: all libs doc dist clean cleaner test install uninstall
|
||||||
|
.PRECIOUS: %.c
|
||||||
|
|
||||||
CC ?= cc
|
CC ?= cc
|
||||||
PREFIX ?= /usr/local
|
PREFIX ?= /usr/local
|
||||||
|
|
Loading…
Add table
Reference in a new issue