update openlane commit
diff --git a/openlane/Makefile b/openlane/Makefile index e0d991e..e7a257f 100644 --- a/openlane/Makefile +++ b/openlane/Makefile
@@ -85,8 +85,9 @@ echo "Deleting exisiting $(OPENLANE_ROOT)" && \ rm -rf $(OPENLANE_ROOT) && sleep 2; \ fi - git clone https://github.com/The-OpenROAD-Project/OpenLane --branch=$(OPENLANE_TAG) --depth=1 $(OPENLANE_ROOT) && \ + git clone https://github.com/The-OpenROAD-Project/OpenLane $(OPENLANE_ROOT) && \ cd $(OPENLANE_ROOT) && \ + git checkout --branch=$(OPENLANE_TAG) && \ export OPENLANE_IMAGE_NAME=efabless/openlane:$(OPENLANE_TAG) && \ export IMAGE_NAME=efabless/openlane:$(OPENLANE_TAG) && \ $(MAKE) pull-openlane