# HG changeset patch
# User p.lucas
# Date 1718115296 0
# Node ID ba644dc3e37128d4eec729d91e8cd58d1e9e6a15
# Parent  ff42b907d12a00a21770e9cf8881cece5039f7e2
Uploaded

diff -r ff42b907d12a -r ba644dc3e371 diamond.xml
--- a/diamond.xml	Mon Jun 10 13:18:55 2024 +0000
+++ b/diamond.xml	Tue Jun 11 14:14:56 2024 +0000
@@ -9,11 +9,9 @@
 <![CDATA[
 
     #if $ref_db_source.db_source == "history":
-        ln -s $ref_db_source.reference_database ./database.dmnd<
+        ln -s $ref_db_source.reference_database ./database.dmnd
+        &&
     #end if
-
-    &&
-
     /usr/bin/diamond
         $method_cond.method_select
         --quiet