From ce3cd49fb7e91ba297a1fc4c1bd6f3230183e1f8 Mon Sep 17 00:00:00 2001
From: jl777 <jameslee777@yahoo.com>
Date: Thu, 21 Jun 2018 07:57:56 -1100
Subject: [PATCH] Fix zilla

---
 src/fiat-cli   | 4 ++--
 src/fiat/zilla | 0
 2 files changed, 2 insertions(+), 2 deletions(-)
 mode change 100644 => 100755 src/fiat/zilla

diff --git a/src/fiat-cli b/src/fiat-cli
index 910246e6c..2838575f9 100755
--- a/src/fiat-cli
+++ b/src/fiat-cli
@@ -31,5 +31,5 @@ echo dsec; fiat/dsec $1 $2 $3 $4
 echo glxt; fiat/glxt $1 $2 $3 $4
 echo eql; fiat/eql $1 $2 $3 $4
 echo zilla; fiat/zilla $1 $2 $3 $4
-echo vrsc; fiat/zilla $1 $2 $3 $4
-echo rfox; fiat/zilla $1 $2 $3 $4
+echo vrsc; fiat/vrsc $1 $2 $3 $4
+echo rfox; fiat/rfox $1 $2 $3 $4
diff --git a/src/fiat/zilla b/src/fiat/zilla
old mode 100644
new mode 100755