Remove changes to devel makefile
diff --git a/xos/configurations/devel/Makefile b/xos/configurations/devel/Makefile
index 2cbc1d0..3ce188b 100644
--- a/xos/configurations/devel/Makefile
+++ b/xos/configurations/devel/Makefile
@@ -5,7 +5,7 @@
test: common_cloudlab
echo "# Autogenerated -- do not edit" > Dockerfile
cat ../common/Dockerfile.common Dockerfile.devel >> Dockerfile
- cd ../../..; sudo docker build --no-cache -t xos -f xos/configurations/devel/Dockerfile .
+ cd ../../..; sudo docker build -t xos -f xos/configurations/devel/Dockerfile .
sudo docker run -d --add-host="ctl:$(MYIP)" -p 9999:8000 xos
bash ../common/wait_for_xos.sh