From d0c7e7377dba2df7b0fb1deccb8dc28319cfb273 Mon Sep 17 00:00:00 2001 From: Ben Gamari <ben@well-typed.com> Date: Wed, 6 Oct 2021 08:57:22 +0000 Subject: [PATCH] debug-ghc: Add comment --- debug-ghc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/debug-ghc b/debug-ghc index 2ee8a91..53e4ab5 100755 --- a/debug-ghc +++ b/debug-ghc @@ -1,5 +1,8 @@ #!/usr/bin/env bash +# This is a handy wrapper script for invoking GDB (and other tools) on +# the wrapper scripts generated by GHC's build system. + set -x if [ -z "$PROG" ]; then -- GitLab