diff options
author | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-05 17:56:12 +0100 |
---|---|---|
committer | Marcello Stanisci <marcello.stanisci@inria.fr> | 2015-11-05 17:56:12 +0100 |
commit | c1159ff547afffd135cde78c026dd35817d2f927 (patch) | |
tree | 9d0126a494b7018d4ad70e2c7d21de75ca6c3e8f /src/backend/melted/copy.sh | |
parent | 45cd6f3e16d8411add89588673cd58873293c2b0 (diff) | |
parent | e55860d9139702f39ce2b61df5bb0e33e1f30a08 (diff) | |
download | merchant-c1159ff547afffd135cde78c026dd35817d2f927.tar.gz merchant-c1159ff547afffd135cde78c026dd35817d2f927.tar.bz2 merchant-c1159ff547afffd135cde78c026dd35817d2f927.zip |
Merge branch 'fix4013'
Conflicts:
src/frontend/index.html
Diffstat (limited to 'src/backend/melted/copy.sh')
-rwxr-xr-x | src/backend/melted/copy.sh | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/src/backend/melted/copy.sh b/src/backend/melted/copy.sh deleted file mode 100755 index 570bf545..00000000 --- a/src/backend/melted/copy.sh +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash -# copy all the backend relevant files from the first to the second -# directory given in the arguments. -# The intended use is to move back and forth those files -# (since they are git'ed on the merchant's repository) as long as not -# configure flag like --enable-merchant will be available from the mint - -# STILL NOT TESTED - -cp -t $2 \ -$1/Makefile.am \ -$1/merchant.c \ -$1/merchant_db.c \ -$1/merchant_db.h \ -$1/merchant.h \ -$1/taler-merchant-httpd.c \ -$1/merchant.conf |