netns-setup: Allow configuring number of veth devices

diff --git a/jenkins/netns-setup b/jenkins/netns-setup
index aba78515857d7bddde5a34c81d0b3decb58d77c4..7913cff5c1286309824afd635c99c6970a8d3e08 100755 (executable)
--- a/jenkins/netns-setup
+++ b/jenkins/netns-setup
@@ -1,10 +1,11 @@
-#!/bin/bash
+#!/bin/sh
 
 set -eu
 
 prefix="10.1"
+count="${1:-8}"
 
-for net in {1..8}; do
+for net in $(seq 1 $count); do
        ns="newpid$net"
        veth="veth$net"
        ceth="ceth$net"