helixhorned 5f19fe63c0 synthesis.sh: replace '-r' option by '-f' in "rm -r $lockfile". ... Strictly speaking, forcing the delete should be unnecessary too, but it can't harm in case the lock file is deleted from outside while the script is running. git-svn-id: https://svn.eduke32.com/eduke32@3999 1a8010ca-5511-0410-912e-c29ae57300e0		2013-08-11 15:28:40 +00:00
polymer	synthesis.sh: replace '-r' option by '-f' in "rm -r $lockfile".	2013-08-11 15:28:40 +00:00
.gitignore	Remove polymer-perf related lines from .gitignore	2012-10-05 22:37:26 +00:00