# HG changeset patch
# User David A. Holland
# Date 1329699081 18000
# Node ID 923ea629c29f964e3cdfccbc6449a2be8931f0bf
# Parent  4ad503eccb9f2098e21bea41811dee586a80f590
Use @SYMBOL@, not @@SYMBOL@@.

diff -r 4ad503eccb9f -r 923ea629c29f configure
--- a/configure	Sun Feb 19 19:51:01 2012 -0500
+++ b/configure	Sun Feb 19 19:51:21 2012 -0500
@@ -114,8 +114,8 @@
 echo 'Generating config.sed'
 
 cat > config.sed.new <<EOF
-s,@@PYTHON@@,$PYTHON,
-s,@@SH@@,$SH,
+s,@PYTHON@,$PYTHON,
+s,@SH@,$SH,
 EOF
 
 mv -f config.sed.new config.sed