← Back to branch summary

~ubuntu-branches/debian/jessie/coq/jessie

« back to all changes in this revision

Viewing changes to Makefile.build

  • Committer: Package Import Robot
  • Author(s): Stéphane Glondu
  • Date: 2011-12-25 13:46:09 UTC
  • mfrom: (1.3.6) (6.1.10 sid)
  • Revision ID: package-import@ubuntu.com-20111225134609-zwqkzmeni9g2xlq1
Tags: 8.3.pl3+dfsg-1
* New upstream release
  - remove all patches (applied upstream)

Show diffs side-by-side

added added

removed removed

Lines of Context:
Makefile.build
1
 
#######################################################################
 
1
######################################################################
2
2
#  v      #   The Coq Proof Assistant  /  The Coq Development Team    #
3
3
# <O___,, #        INRIA-Rocquencourt  &  LRI-CNRS-Orsay              #
4
4
#   \VV/  #############################################################
6
6
#         #       GNU Lesser General Public License Version 2.1       #
7
7
#######################################################################
8
8
 
9
 
# $Id: Makefile.build 13477 2010-09-30 16:50:00Z vgross $ 
 
9
# $Id: Makefile.build 14090 2011-05-03 13:34:16Z pboutill $ 
10
10
 
11
11
 
12
12
# Makefile for Coq
708
708
        if test -x "`which git`"; then \
709
709
          LANG=C; export LANG; \
710
710
          GIT_BRANCH=$$(git branch -a | sed -ne '/^\* /s/^\* \(.*\)/\1/p'); \
711
 
          GIT_HOST=$$(hostname -f); \
 
711
          GIT_HOST=$$(hostname); \
712
712
          GIT_PATH=$$(pwd); \
713
713
          (echo "$${GIT_HOST}:$${GIT_PATH},$${GIT_BRANCH}") > revision.new; \
714
714
          (echo "$$(git log -1 --pretty='format:%H')") >> revision.new; \