Use stable version of gem5

8abb1667 · Christoph Gerum · 35a32794 · 8abb1667
Commit 8abb1667 authored Apr 13, 2016 by Christoph Gerum
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

userconfig.sh userconfig.sh +1 -1

No files found.
--- a/userconfig.sh
+++ b/userconfig.sh
@@ -10,7 +10,7 @@ mkdir -p $ca_dir
 cd $ca_dir

 if [ ! -d gem5 ]; then
- hg clone http://repo.gem5.org/gem5
+ hg clone http://repo.gem5.org/gem5-stable gem5
 fi

 cd gem5