From 8e98d3a2ccc55c41fea10fa7f1e0365a993fdb0e Mon Sep 17 00:00:00 2001 From: Han-Wen Nienhuys Date: Fri, 25 Apr 2008 23:59:48 -0300 Subject: [PATCH] coverage is a python script. --- buildscripts/coverage.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/buildscripts/coverage.py b/buildscripts/coverage.py index ed7d0eef25..d44f81fdee 100644 --- a/buildscripts/coverage.py +++ b/buildscripts/coverage.py @@ -1,4 +1,5 @@ -#!/bin/sh +#!/usr/bin/python + import os import glob import re -- 2.39.5