diff options
Diffstat (limited to 'examples/igloo2/libero.sh')
-rw-r--r-- | examples/igloo2/libero.sh | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/examples/igloo2/libero.sh b/examples/igloo2/libero.sh deleted file mode 100644 index 582f6ccb9..000000000 --- a/examples/igloo2/libero.sh +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/bash -set -ex -rm -rf work -LM_LICENSE_FILE=1702@`hostname` /opt/microsemi/Libero_SoC_v11.9/Libero/bin/libero SCRIPT:libero.tcl |