Add --private option to run/tests script.

1 files changed, 5 insertions, 0 deletions

diff --git a/run/tests b/run/tests
index 5a1e6bfd..c64335d0 100755
--- a/run/tests
+++ b/run/tests
@@ -30,6 +30,11 @@ while [[ $# -gt 0 ]]; do
         type="callgrind"
         shift
         ;;
+        --private)
+        private=$2
+        shift
+        shift
+        ;;
         *)
         break
         ;;