From 6f702a880c0c8300385945afead0a8e8d8236adc Mon Sep 17 00:00:00 2001
From: Rob Austein <sra@hactrn.net>
Date: Thu, 14 Feb 2019 07:12:12 +0000
Subject: Debug.

---
 stage2 | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100755 stage2

(limited to 'stage2')

diff --git a/stage2 b/stage2
deleted file mode 100755
index 01b67a8..0000000
--- a/stage2
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/sh -
-
-set -ex
-
-# We should now be running as a non-root user, set up the XiLinx license
-
-sudo install -o builder -g builder /cryptech-builder/Xilinx.lic $HOME/builder
-
-/cryptech-builder/ratinox license-user
-
-rm $HOME/builder
-- 
cgit v1.2.3