diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/make-dummy-placement.sh (renamed from tools/make_dummy_placement.sh) | 3 | ||||
| -rwxr-xr-x | tools/make-switches.pl | 1 |
2 files changed, 4 insertions, 0 deletions
diff --git a/tools/make_dummy_placement.sh b/tools/make-dummy-placement.sh index 8a2a831..192e3d3 100755 --- a/tools/make_dummy_placement.sh +++ b/tools/make-dummy-placement.sh @@ -1,5 +1,8 @@ #!/bin/bash +# Generate a random placement-entry insert for a named switch (convenient +# if you manually add a switch with no placement) + for a in $* ; do X=$(( $RANDOM % 500 )) Y=$(( $RANDOM % 500 )) diff --git a/tools/make-switches.pl b/tools/make-switches.pl index beb4343..c0c842a 100755 --- a/tools/make-switches.pl +++ b/tools/make-switches.pl @@ -1,4 +1,5 @@ #! /usr/bin/perl + use strict; use warnings; |