makefile: avoid building bigger and bigger curdir.cbor files · 95c15eb287 - lwd - Gitea: Git with a cup of tea

makefile: avoid building bigger and bigger curdir.cbor files

pull/3/head

Simon Cruanes 1 year ago

committed by

Frédéric Bour

parent

6dfec183e6

commit

95c15eb287

1 changed files with 1 additions and 0 deletions

Split View

							
								+ 1
								
								- 0
							
MakefileView File
								
					@ -19,5 +19,6 @@ run-stress.exe:
				
						dune exec examples/stress.exe
				
					run-cbor-explorer.exe:
				
						rm curdir.cbor || true
				
						dune exec examples/cbor/cbor_of_fs.exe -- -o curdir.cbor ./
				
						dune exec examples/cbor/cbor_explorer.exe -- curdir.cbor