allow crunch-job caller to override CRUNCH_TMP. fixes #1593
-rw-r--r-- 9 .gitignore
drwxr-xr-x - apps
drwxr-xr-x - crunch_scripts
drwxr-xr-x - doc
drwxr-xr-x - sdk
drwxr-xr-x - services