From 6cb1aef836c027323f8bd13ad11759ed8aea4eea Mon Sep 17 00:00:00 2001 From: Andras Fekete Date: Mon, 11 Sep 2023 14:54:42 -0400 Subject: [PATCH] Clean up old comments --- async-check.sh | 10 ---------- 1 file changed, 10 deletions(-) diff --git a/async-check.sh b/async-check.sh index d3fbee83c..28599c471 100755 --- a/async-check.sh +++ b/async-check.sh @@ -1,17 +1,7 @@ #!/bin/bash -# async-check.sh - # This script creates symbolic links to the required asynchronous # file for using the asynchronous simulator and make check -# -# $ ./async-check [keep|clean|setup] -# -# - keep: (default off) ./async and links kept around for inspection -# - clean: (default off) only cleanup existing ./async and links -# - setup: (default off) only setup ./async and links but don't run config -# or make -# # Fail on any error in script set -e