From 68788a8f35588086c7d5c4a2469dbeab2c3e3494 Mon Sep 17 00:00:00 2001
From: Ciro Santilli <ciro.santilli@gmail.com>
Date: Mon, 26 Feb 2018 11:31:10 +0000
Subject: [PATCH] fix gem5-shell quoting

---
 gem5-shell | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gem5-shell b/gem5-shell
index 49d123a..29355b6 100755
--- a/gem5-shell
+++ b/gem5-shell
@@ -1,4 +1,4 @@
 #!/usr/bin/env bash
 offset="${1:-0}"
 base=3456
-telnet localhost $(("$base" + "$offset"))
+telnet localhost $(($base + $offset))