Simon Gaiser 75619fe760 [Scripts/clean-check] Ignore git repos ...

Newer git versions update some cache in .git/index even on read-only
calls (like git status). So ignore any changes in .git when checking
make clean.

2020-02-04 01:15:59 -08:00

..

clean-check

[Scripts/clean-check] Ignore git repos

2020-02-04 01:15:59 -08:00

clean-check-prepare

[Makefile] Check make clean on Jenkins

2019-09-27 03:45:21 +02:00

clean-check-test-copy

[Makefile] Check make clean on Jenkins

2019-09-27 03:45:21 +02:00

list-all-graphene.sh

Fix Bash shebangs compatibility

2019-02-05 17:59:25 +01:00

Makefile

[Makefile] Add distclean target

2020-02-04 01:15:08 +01:00

memusg

Fixing a bunch of memory leaking issues (#86)

2017-12-08 10:46:55 -08:00

regression.py

[Makefile] Drop SGX_RUN

2019-09-27 12:38:14 +02:00