diff tests/test-convert-tla.out @ 11190:43337076ba92

Fixed a bashism with trap numbers in hgeditor. When using trap in a shell script, it's more portable to use signal names, instead of numbers. Signal names (INT, KILL,...) are defined in POSIX, whereas its corresponding numbers aren't.
author Javi Merino <cibervicho@gmail.com>
date Tue, 11 May 2010 12:06:30 +0200
parents f2618cacb485
children
line wrap: on
line diff