Commit Graph

3 Commits

Author SHA1 Message Date
Oliver Smith f5837cacdb contrib/jenkins: do install --user
Don't install to /usr/local.

Fix for:
  error: can't create or remove files in install directory

Change-Id: Iebed8e3832047e8f19e5a88fcddd1a8242b9f096
2023-09-13 16:10:58 +00:00
Max 379fb9783b Ignore compilation byproducts
Change-Id: Ic04a1b9411b851547ef7ce7a9b562cb290081ca9
2017-12-20 16:05:49 +00:00
Max 44f5163c50 Add .gitignore
Ignore install leftovers.
2016-03-31 11:59:09 +02:00