From d30a36f8dd9ac1862913f1f0531b2c4279f62f57 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20St=C3=B6ckli?= Date: Thu, 9 Oct 2025 15:30:52 +0000 Subject: [PATCH] small changes to fetch db script --- misc/codeql_fetch_db.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/misc/codeql_fetch_db.sh b/misc/codeql_fetch_db.sh index b61c39a..162b81e 100755 --- a/misc/codeql_fetch_db.sh +++ b/misc/codeql_fetch_db.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # dep: https://github.com/cli/cli # e.g. get_codeql_db.sh ntp-project/ntp cpp @@ -9,6 +9,7 @@ # - csharp: The C# programming language # - go: The Go programming language # - java: The Java programming language +# - javascript: The JavaScript programming language (including TypeScript) # - python: The Python programming language # - ruby: The Ruby programming language # - swift: The Swift programming language