From 3098f84e9ee7ed27f6aac375d3fa51d1dd08c149 Mon Sep 17 00:00:00 2001 From: Jan Nieuwenhuizen Date: Mon, 17 Oct 2016 18:24:40 +0200 Subject: [PATCH] Add paredit workaround in scripts. * scripts/elf.mes: Add paredit parsing comment. * scripts/repl.mes: Likewise. --- scripts/elf.mes | 1 + scripts/repl.mes | 1 + 2 files changed, 2 insertions(+) diff --git a/scripts/elf.mes b/scripts/elf.mes index ee3f043a..9d7a3233 100755 --- a/scripts/elf.mes +++ b/scripts/elf.mes @@ -1,6 +1,7 @@ #! /bin/sh # -*-scheme-*- cat $($(dirname $0)/include.mes $0) $0 /dev/stdin | $(dirname $0)/mes "$@" > a.out +#paredit:| chmod +x a.out exit $? !# diff --git a/scripts/repl.mes b/scripts/repl.mes index f1bdd670..83630098 100755 --- a/scripts/repl.mes +++ b/scripts/repl.mes @@ -1,6 +1,7 @@ #! /bin/sh # -*-scheme-*- cat $($(dirname $0)/include.mes $0) $0 /dev/stdin | $(dirname $0)/mes "$@" +#paredit:| exit $? !#