Updated ABC to hg rev ee212a9e94df

diff --git a/Makefile b/Makefile
index 5f4b62b15f850a4ef19ad56b9bd0f66ee4d99caf..c14ac4024e67b7463ee4a97bb62d7833b749f3d7 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -78,7 +78,7 @@ OBJS = kernel/version_$(GIT_REV).o
 # is just a symlink to your actual ABC working directory, as 'make mrproper'
 # will remove the 'abc' directory and you do not want to accidentally
 # delete your work on ABC..
-ABCREV = c3698e053a7a
+ABCREV = ee212a9e94df
 ABCPULL = 1
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"