No more pp1

Margo · Margo · commit 2f80c260d23a · 2016-11-17T19:28:46.000Z
diff --git a/synch1/GNUmakefile b/synch1/GNUmakefile
@@ -1,4 +1,4 @@
-PROGRAMS = pingpong pingpong1 pingpong-mutex pingpong-cv
+PROGRAMS = pingpong pingpong-mutex pingpong-cv
 all: $(PROGRAMS)
 
 O ?= 2

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-PROGRAMS = pingpong pingpong1 pingpong-mutex pingpong-cv`
	`1`	`+PROGRAMS = pingpong pingpong-mutex pingpong-cv`
`2`	`2`	`all: $(PROGRAMS)`
`3`	`3`
`4`	`4`	`O ?= 2`