diff options
-rwxr-xr-x | scripts/packaging/build_debian_package.sh (renamed from scripts/build_debian_package.sh) | 0 | ||||
-rw-r--r-- | scripts/packaging/compile_design_docs.py (renamed from scripts/compile_design_docs.py) | 0 | ||||
-rwxr-xr-x | scripts/run_tests.sh | 3 | ||||
-rwxr-xr-x | scripts/testing/develop_mode.sh (renamed from scripts/develop_mode.sh) | 0 |
4 files changed, 0 insertions, 3 deletions
diff --git a/scripts/build_debian_package.sh b/scripts/packaging/build_debian_package.sh index b9fb93a9..b9fb93a9 100755 --- a/scripts/build_debian_package.sh +++ b/scripts/packaging/build_debian_package.sh diff --git a/scripts/compile_design_docs.py b/scripts/packaging/compile_design_docs.py index 7ffebb10..7ffebb10 100644 --- a/scripts/compile_design_docs.py +++ b/scripts/packaging/compile_design_docs.py diff --git a/scripts/run_tests.sh b/scripts/run_tests.sh deleted file mode 100755 index e36466f8..00000000 --- a/scripts/run_tests.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh -cd common -python setup.py test diff --git a/scripts/develop_mode.sh b/scripts/testing/develop_mode.sh index 8d2ebaa8..8d2ebaa8 100755 --- a/scripts/develop_mode.sh +++ b/scripts/testing/develop_mode.sh |