Updated ABC to ae7d65e71adc

diff --git a/Makefile b/Makefile
index 2cc318eec7f47fe5e8e3ff7ee79ec3d6919d5096..085b43415e285dc1aebe9717c666d09f1aff33c7 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 = 0e928e3141a5
+ABCREV = ae7d65e71adc
 ABCPULL = 1
 ABCMKARGS = CC="$(CXX)" CXX="$(CXX)"