distribute makefile.std, not makefile

author ceriel <none@none>

Tue, 4 Sep 1990 11:47:50 +0000 (11:47 +0000)

committer ceriel <none@none>

Tue, 4 Sep 1990 11:47:50 +0000 (11:47 +0000)
author ceriel <none@none>
Tue, 4 Sep 1990 11:47:50 +0000 (11:47 +0000)
committer ceriel <none@none>
Tue, 4 Sep 1990 11:47:50 +0000 (11:47 +0000)
diff --git a/lang/cem/ctest/.distr b/lang/cem/ctest/.distr

index 2d00d9f..4d16951 100644 (file)
--- a/lang/cem/ctest/.distr
+++ b/lang/cem/ctest/.distr
@@ -20,5 +20,5 @@ ctstruct
  ctsys
  ctsetjmp
  local.h
-makefile
+makefile.std
  run