Skip to content

Instantly share code, notes, and snippets.

@kim366
Created February 16, 2023 00:23
Show Gist options
  • Save kim366/4be12e4167905f0d32297fe26c43c44c to your computer and use it in GitHub Desktop.
Save kim366/4be12e4167905f0d32297fe26c43c44c to your computer and use it in GitHub Desktop.

Revisions

  1. kim366 created this gist Feb 16, 2023.
    3 changes: 3 additions & 0 deletions build_script_header.sh
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,3 @@
    #!/bin/bash
    cd $(dirname $0)
    set -e