From d085ba5723806104593a775a144384a464d61002 Mon Sep 17 00:00:00 2001 From: "Kevin M. Rosenberg" Date: Wed, 24 Jul 2002 05:42:46 +0000 Subject: [PATCH] r2235: Autocommit for make-debian --- debian/make-debian.sh | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/debian/make-debian.sh b/debian/make-debian.sh index 12e000d..d25c49e 100755 --- a/debian/make-debian.sh +++ b/debian/make-debian.sh @@ -1,10 +1,11 @@ -#!/bin/bash +#!/bin/bash -e + +bdeb.sh -Sctsim -c -Hdebian/cvsbp-prepare.sh +exit 0 PKG=ctsim DEBPKG=ctsim -set -e - BASE_HOME=/usr/local/src WORK_HOME=${BASE_HOME}/Work WORK_DIR=${WORK_HOME}/${PKG} -- 2.34.1