public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 58b70cc)
*** empty log message ***
authorkaashoek <none@none>
Fri, 20 Nov 1987 11:24:45 +0000 (11:24 +0000)
committerkaashoek <none@none>
Fri, 20 Nov 1987 11:24:45 +0000 (11:24 +0000)
util/ceg/ce_back/as_back/Makefile patch | blob | history
util/ceg/ce_back/obj_back/Makefile patch | blob | history

diff --git a/util/ceg/ce_back/as_back/Makefile b/util/ceg/ce_back/as_back/Makefile
index 1fd4241..2ad3250 100644 (file)
--- a/util/ceg/ce_back/as_back/Makefile
+++ b/util/ceg/ce_back/as_back/Makefile
@@ -1,5 +1,5 @@
 EM=/proj/em/Work
-CEG=/usr/star/kaashoek/em/ceg.1
+CEG=/usr/star/kaashoek/em/ceg
 SOURCE=$(CEG)/ce_back/as_back
 
 IDIRS=-I.\
diff --git a/util/ceg/ce_back/obj_back/Makefile b/util/ceg/ce_back/obj_back/Makefile
index 408ab24..f0d5aa9 100644 (file)
--- a/util/ceg/ce_back/obj_back/Makefile
+++ b/util/ceg/ce_back/obj_back/Makefile
@@ -1,5 +1,5 @@
 EM=/proj/em/Work
-CEG=/usr/star/kaashoek/em/ceg.1
+CEG=/usr/star/kaashoek/em/ceg
 SOURCE=$(CEG)/ce_back/obj_back
 
 IDIRS=-I.\
Unnamed repository; edit this file 'description' to name the repository.