phase1/dumpinfo.pl: add a feature flag for skipping targets
-rw-r--r-- 156 .gitignore
drwxr-xr-x - phase1
drwxr-xr-x - phase2