From 7558599465b80202c5857a7569936084c3d40135 Mon Sep 17 00:00:00 2001 From: Mark Huang Date: Fri, 5 May 2006 19:33:24 +0000 Subject: [PATCH] - install the public debug SSH key, not the private one --- build.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.sh b/build.sh index 7150ef0..9fe81cd 100755 --- a/build.sh +++ b/build.sh @@ -13,7 +13,7 @@ # Mark Huang # Copyright (C) 2004-2006 The Trustees of Princeton University # -# $Id$ +# $Id: build.sh,v 1.5 2006/04/03 19:40:55 mlhuang Exp $ # # Source PLC configuration @@ -72,8 +72,8 @@ sed -i -e "s@^BOOT_API_SERVER.*@BOOT_API_SERVER=https://$PLC_API_HOST:443/$PLC_A $srcdir/source/configuration # Replace the default debug SSH key -if [ -f "$PLC_DEBUG_SSH_KEY" ] ; then - install -D -m 644 "$PLC_DEBUG_SSH_KEY" $srcdir/source/debug_files/debug_root_ssh_key +if [ -f "$PLC_DEBUG_SSH_KEY_PUB" ] ; then + install -D -m 644 "$PLC_DEBUG_SSH_KEY_PUB" $srcdir/source/debug_files/debug_root_ssh_key fi # Embed the uuencoded tarball in the script -- 2.43.0