mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
run: clean pulsar config file during a clean_run
tool/autopilot complains about this left over file
This commit is contained in:
committed by
Norman Feske
parent
e5eeda2ec9
commit
52cf25982a
@@ -273,6 +273,7 @@ clean_libcache:
|
||||
|
||||
clean_run:
|
||||
$(VERBOSE)rm -rf var/run
|
||||
$(VERBOSE)rm -rf config-00-00-00-00-00-00
|
||||
|
||||
clean_gen_files:
|
||||
$(VERBOSE)rm -f $(LIB_PROGRESS_LOG)
|
||||
|
||||
Reference in New Issue
Block a user