Advertisement
Guest User

Untitled

a guest
May 21st, 2019
74
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.97 KB | None | 0 0
  1. diff --git a/.ci/filter/filter_docker_test.sh b/.ci/filter/filter_docker_test.sh
  2. index 19a705b..dead3c2 100755
  3. --- a/.ci/filter/filter_docker_test.sh
  4. +++ b/.ci/filter/filter_docker_test.sh
  5. @@ -1,4 +1,4 @@
  6. -#!/bin/bash
  7. +#!/usr/bin/env bash
  8. #
  9. # Copyright (c) 2018 ARM Limited
  10. #
  11. diff --git a/.ci/kata-arch.sh b/.ci/kata-arch.sh
  12. index df24cc8..4f5f20f 100755
  13. --- a/.ci/kata-arch.sh
  14. +++ b/.ci/kata-arch.sh
  15. @@ -1,4 +1,4 @@
  16. -#!/bin/bash
  17. +#!/usr/bin/env bash
  18. #
  19. # Copyright (c) 2018 Intel Corporation
  20. #
  21. diff --git a/.ci/lib.sh b/.ci/lib.sh
  22. index acd059a..3894789 100755
  23. --- a/.ci/lib.sh
  24. +++ b/.ci/lib.sh
  25. @@ -1,4 +1,4 @@
  26. -#!/bin/bash
  27. +#!/usr/bin/env bash
  28. #
  29. # Copyright (c) 2017-2018 Intel Corporation
  30. # Copyright (c) 2018 ARM Limited
  31. diff --git a/lib/common.bash b/lib/common.bash
  32. index e1efe73..bb8c74d 100755
  33. --- a/lib/common.bash
  34. +++ b/lib/common.bash
  35. @@ -1,4 +1,4 @@
  36. -#!/bin/bash
  37. +#!/usr/bin/env bash
  38. #
  39. # Copyright (c) 2018-2019 Intel Corporation
  40. #
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement