diff options
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 0207d07dfe..fba85d2da1 100644 --- a/.gitignore +++ b/.gitignore @@ -7,7 +7,10 @@ autom4te.cache /lib/*/ebin -/bootstrap/bin +/bootstrap/bin/* +!/bootstrap/bin/*.script +!/bootstrap/bin/*.boot + /bootstrap/lib/asn1 /bootstrap/lib/hipe /bootstrap/lib/ic |