Merge branch 'main' into prealloc-fdtable

firecracker-microvm · Sep 14, 2023 · abdf7fe · abdf7fe
2 parents cc9f6bd + 24e2e29
commit abdf7fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/devtool b/tools/devtool
@@ -506,7 +506,7 @@ cmd_distclean() {
 }
 
 ensure_ci_artifacts() {
-    if [ ! command -v aws >/dev/null ]; then
+    if ! command -v aws >/dev/null; then
       die "AWS CLI not installed, which is required for downloading artifacts for integration tests."
     fi