# HG changeset patch
# User wenzelm
# Date 969223880 -7200
# Node ID d41ab495ab148ac94f5b2746af0a819fc30646db
# Parent  be4824b7505d9907afbda02f3975e9b5d1f2d70f
removed -x option;

diff -r be4824b7505d -r d41ab495ab14 Admin/makerpm
--- a/Admin/makerpm	Sun Sep 17 22:50:10 2000 +0200
+++ b/Admin/makerpm	Sun Sep 17 22:51:20 2000 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash -x
+#!/bin/bash
 #
 # $Id$
 #