install_workspace.sh 891 B

12345678910111213141516171819202122232425262728293031
  1. #!/bin/bash
  2. #
  3. # StarPU --- Runtime system for heterogeneous multicore architectures.
  4. #
  5. # Copyright (C) 2021 Université de Bordeaux, CNRS (LaBRI UMR 5800), Inria
  6. #
  7. # StarPU is free software; you can redistribute it and/or modify
  8. # it under the terms of the GNU Lesser General Public License as published by
  9. # the Free Software Foundation; either version 2.1 of the License, or (at
  10. # your option) any later version.
  11. #
  12. # StarPU is distributed in the hope that it will be useful, but
  13. # WITHOUT ANY WARRANTY; without even the implied warranty of
  14. # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
  15. #
  16. # See the GNU Lesser General Public License in COPYING.LGPL for more details.
  17. #
  18. src=$1
  19. dst=$2
  20. shift
  21. shift
  22. if test ! -d $dst/$(dirname $src)
  23. then
  24. echo mkdir -p $dst/$(dirname $src)
  25. mkdir -p $dst/$(dirname $src)
  26. fi
  27. echo $* $src $dst/$(dirname $src)
  28. $* $src $dst/$(dirname $src)