From 67f44540329abf7f840dd8b472cdd09164e8f328 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Sat, 11 Aug 2018 13:13:04 +0100
Subject: [PATCH] gem5: get rid of configure-gem5 leftover

---
 configure-gem5 | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100755 configure-gem5

diff --git a/configure-gem5 b/configure-gem5
deleted file mode 100755
index b038d4e..0000000
--- a/configure-gem5
+++ /dev/null
@@ -1,3 +0,0 @@
-#!/usr/bin/env bash
-sudo apt-get install \
-;