updated some scripts, gitignore, cleaned a bit

debnathr · Jan 23, 2019 · 507546f · 507546f
1 parent c60ab58
commit 507546f
Show file tree

Hide file tree

Showing 29 changed files with 95 additions and 3,164 deletions.
diff --git a/.gitignore b/.gitignore
@@ -454,4 +454,34 @@ $RECYCLE.BIN/
 *.lnk
 
 
-# End of https://www.gitignore.io/api/latex,linux,macos,python,windows,phpstorm
+# End of https://www.gitignore.io/api/latex,linux,macos,python,windows,phpstorm
+
+#own ignores
+# Python byte code
+*.pyc
+
+# Emacs
+*~
+
+# Compiled JSON
+*.json
+!*p4app*.json
+
+*.pcap
+
+# Build folders
+build*/
+log*/
+pcap*/
+*.pickle
+
+*.db
+
+*.p4i
+*.p4rt
+
+#latex
+*.aux
+*.bbl
+*.log
+*.out
diff --git a/examples/bin/install-emacs-mode.sh b/examples/bin/install-emacs-mode.sh
diff --git a/examples/bin/install.sh b/examples/bin/install.sh
diff --git a/examples/bin/update-bmv2.sh b/examples/bin/update-bmv2.sh
diff --git a/examples/bin/update-p4c-bm.sh b/examples/bin/update-p4c-bm.sh
diff --git a/examples/bin/update-p4c.sh b/examples/bin/update-p4c.sh