소스 검색

20171117 src/Makefile.in (HEAP_FILES sind bereits in BINFILES)

Altlast 7 년 전
부모
커밋
bd9737ce7d
1개의 변경된 파일0개의 추가작업 그리고 1개의 파일을 삭제
  1. 0 1
      src/Makefile.in

+ 0 - 1
src/Makefile.in

@@ -24,7 +24,6 @@ json-pp.%%HEAP_SUFFIX%%: json-pp.cm json-pp.sml json_lib
 clean:
 	rm -rf ${BINFILES}
 	rm -rf ${CLEANFILES}
-	cd .. && rm -f %%HEAP_FILES%%
 
 # START: ml-makedepend (JSON/json-lib.cm:json_lib); DO NOT DELETE!
 json_lib: \