Merge pull request #398 from mcmasterg/branch4

055-gnd: fix bad makefile target
This commit is contained in:
John McMaster 2018-12-23 01:37:39 -08:00 committed by GitHub
commit 1ed532d46d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View File

@ -19,12 +19,12 @@ pushdb:
${XRAY_MERGEDB} int_l build/segbits_int_l.db
${XRAY_MERGEDB} int_r build/segbits_int_r.db
$(SPECIMENS_OK): todo.txt
$(SPECIMENS_OK): build/todo.txt
mkdir -p build
bash generate.sh $(subst /OK,,$@)
touch $@
todo.txt:
build/todo.txt:
mkdir -p build
echo "INT_L.GFAN0.GND_WIRE" > build/todo.txt
echo "INT_L.GFAN1.GND_WIRE" >> build/todo.txt

View File

@ -21,7 +21,7 @@ route_design
# write_checkpoint -force design.dcp
set fp [open "../../todo.txt" r]
set fp [open "../todo.txt" r]
set todo_lines {}
for {gets $fp line} {$line != ""} {gets $fp line} {
lappend todo_lines [split $line .]