diff options
| author | Florian Dold <florian.dold@gmail.com> | 2016-04-15 18:44:35 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2016-04-15 18:44:35 +0200 |
| commit | 5449b90e3aae48cd64f088829154b6d390b71893 (patch) | |
| tree | 21530ba71e08cf8d9880d4a932188d9e09cc0b41 /monitor-rebuild | |
| parent | 05c906bd05a8daefb657e9e77e1afdaa97cbe9d1 (diff) | |
| download | deployment-5449b90e3aae48cd64f088829154b6d390b71893.tar.gz deployment-5449b90e3aae48cd64f088829154b6d390b71893.tar.bz2 deployment-5449b90e3aae48cd64f088829154b6d390b71893.zip | |
remove obsolete rebuild script
Diffstat (limited to 'monitor-rebuild')
| -rwxr-xr-x | monitor-rebuild | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/monitor-rebuild b/monitor-rebuild deleted file mode 100755 index 21f0f54..0000000 --- a/monitor-rebuild +++ /dev/null @@ -1,14 +0,0 @@ -#!/usr/bin/python3 - -import sys - - -while True: - f = open(sys.argv[1]) - - while True: - x = f.readline() - if not x: - break - print("got line:", x) - |