picolisp

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/picolisp.git/
Log | Files | Refs | README | LICENSE

commit 27b285686ce09dd4fc8b9078530ba49b842dfb8b
parent 938f8a15124687cfa665bf2e225111f997d5d3ce
Author: Alexander Burger <abu@software-lab.de>
Date:   Tue,  2 Jul 2013 07:48:38 +0200

Revert 'start_time'
Diffstat:
Mersatz/lib.l | 4++--
Mlib/debug.l | 2+-
2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/ersatz/lib.l b/ersatz/lib.l @@ -1,4 +1,4 @@ -# 01jul13abu +# 04mar13abu # (c) Software Lab. Alexander Burger (setq *OS (java (java "java.lang.System" "getProperty" "os.name"))) @@ -1633,7 +1633,7 @@ (de proc @ (apply call (make (while (args) (link "-C" (next)))) - 'ps "-H" "-o" "pid,ppid,start_time,size,pcpu,wchan,cmd" ) ) + 'ps "-H" "-o" "pid,ppid,start,size,pcpu,wchan,cmd" ) ) # Benchmarking (de bench Prg diff --git a/lib/debug.l b/lib/debug.l @@ -405,7 +405,7 @@ (de proc @ (apply call (make (while (args) (link "-C" (next)))) - 'ps "-H" "-o" "pid,ppid,start_time,size,pcpu,wchan,cmd" ) ) + 'ps "-H" "-o" "pid,ppid,start,size,pcpu,wchan,cmd" ) ) # Benchmarking (de bench Prg