Skip to content
Snippets Groups Projects
Select Git revision
  • 13b040f0dfdc537e0a4c6f854d4da8ddf3908b7e
  • master default protected
  • fix_Makefile.mingw#2
  • update_Makefile.mingw
  • fix_Makefile.mingw
  • fix_API_for_C_apps
  • fix_procinfo_mac
  • boinccmd_gpu_mode_always_until_sigterm
  • fgrp_osx_hotfix
  • fix_boinc_master@f8250782
  • eah_wrapper_improvements
  • diagnostics_win-hotfix
  • diagnostics_win-hotfix-old
  • current_fgrp_apps
  • testing_gw_apps
  • gw_app_darwin_15
  • current_brp_apps
  • current_brp_apps_android10
  • current_gfx_apps
  • current_server
  • current_gw_apps
  • previous_fgrp_apps
  • previous_gw_apps
  • testing_brp_apps
  • apps_FGRP3_1.07
  • apps_FGRP3_1.08
26 results

bmplib.cpp

Blame
  • git-tag.sh 599 B
    #!/bin/bash
    
    FILE="$1"
    if [ "x$FILE" = x ]; then
        echo "usage: $0 <file.tex>" >&2
        exit 1
    fi
    TMPFILE="$FILE.tmp"
    
    gitLOG=`git log -1 --pretty="format:%% generated by $0
    \\newcommand{\\commitDATE}{%ai}
    \\newcommand{\\commitID}{commitID: %H}
    \\newcommand{\\commitIDshort}{commitID: %h}
    "`
    echo "$gitLOG" > $TMPFILE
    
    diffcmd="git diff -- .";
    diff=`$diffcmd`;
    if test -n "$diff"; then
        echo "\\newcommand{\\commitSTATUS}{UNCLEAN}" >> $TMPFILE
    else
        echo "\\newcommand{\\commitSTATUS}{CLEAN}" >> $TMPFILE
    fi
    
    if cmp -s $TMPFILE $FILE; then
        rm -f $TMPFILE
    else
        mv -f $TMPFILE $FILE
    fi