diff options
author | Boyuan Yang <byang@debian.org> | 2020-02-23 14:37:44 -0800 |
---|---|---|
committer | Boyuan Yang <byang@debian.org> | 2020-02-23 14:37:44 -0800 |
commit | 7c4aad4e01c8278e073d28a5c1f59b12582431c1 (patch) | |
tree | 15fc67268928e2784b815b959de3f9e6212686ef /mcon/U/make.U | |
parent | b2543a8a68c27cc30de2db84f479cfc6cc56cbef (diff) | |
parent | ad837af33e152566dc47d6805cb0a84ce1329ed5 (diff) |
Record dist (1:3.5-236-0.2) in archive suite sid
Diffstat (limited to 'mcon/U/make.U')
-rw-r--r-- | mcon/U/make.U | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/mcon/U/make.U b/mcon/U/make.U index fb75deb..f9191b4 100644 --- a/mcon/U/make.U +++ b/mcon/U/make.U @@ -1,8 +1,8 @@ -?RCS: $Id: make.U 167 2013-05-08 17:58:00Z rmanfredi $ +?RCS: $Id$ ?RCS: ?RCS: Copyright (c) 1996, Andy Dougherty ?RCS: Copyright (c) 1991-1997, 2004-2006, Raphael Manfredi -?RCS: +?RCS: ?RCS: You may redistribute only under the terms of the Artistic License, ?RCS: as specified in the README file that comes with the distribution. ?RCS: You may reuse parts of this distribution only within the terms of @@ -20,11 +20,11 @@ ?S: This variable contains the string to be included in Makefile.SH ?S: so that MAKE is set if needed, and not if not needed. ?S: Possible values are: -?S: +?S: ?S: make_set_make='#' # If your make program handles this for you, -?S: +?S: ?S: make_set_make="MAKE=$make" # if it doesn't. -?S: +?S: ?S: This uses a comment character so that we can distinguish a ?S: 'set' value (from a previous config.sh or Configure -D option) ?S: from an uncomputed value. |