Home
last modified time | relevance | path

Searched refs:DIRTY (Results 1 – 1 of 1) sorted by relevance

/hypervisor/
A DMakefile526 DIRTY=`git diff-index --name-only HEAD`;\
527 if [ -n "$$DIRTY" ];then PATCH="$$COMMIT-dirty";else PATCH="$$COMMIT";fi;\

Completed in 2 milliseconds