Commit b6da7906 authored by Erick's avatar Erick

Integration of the git hash in the source (more or less)

parents 402f8173 b2abf8a1
......@@ -21,7 +21,7 @@
;;;; Author: Erick Gallesio []
;;;; Creation date: 4-Jun-2000 15:07 (eg)
;;;; Last file update: 3-Jul-2018 18:25 (eg)
;;;; Last file update: 3-Jul-2018 19:03 (eg)
;; This file defines the REPL module. This module does not export anything
......@@ -239,7 +239,7 @@ doc>
;; Initialize signals suitable for a REPL session ( immune to ^C)
(when interactive?
(let ((line1 (format "STklos version ~A (id=~A)\n" (version) (%push-id)))
(let ((line1 (format "STklos version ~A (Id: ~A)\n" (version) (%push-id)))
(line2 "Copyright (C) 1999-2018 Erick Gallesio <>\n")
(line3 "Université Nice Sophia Antipolis - UCA\n")
(line4 (format "[~a/~a/~a/~a]\n"
......@@ -41,4 +41,4 @@
#define @OS_FLAVOUR@ 1
#define GIT_PUSH_ID "1d3727d"
#define GIT_PUSH_ID "1d37cc2"
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment