From fd2c16d61fc4d458d1891f1ce934abb2087cb3f3 Mon Sep 17 00:00:00 2001
From: Don Porter <porter@cs.unc.edu>
Date: Sun, 20 Nov 2016 23:04:16 -0500
Subject: [PATCH] Ignore cached so

---
 LibOS/shim/src/.gitignore | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 LibOS/shim/src/.gitignore

diff --git a/LibOS/shim/src/.gitignore b/LibOS/shim/src/.gitignore
new file mode 100644
index 00000000..b6b68e57
--- /dev/null
+++ b/LibOS/shim/src/.gitignore
@@ -0,0 +1 @@
+libsysdb.so.cached