Remove configdiff

This script is not needed any more.
Same (and better) behaviour is now implemented in write_config.

1 files changed, 0 insertions, 48 deletions

diff --git a/scripts/configdiff.py b/scripts/configdiff.py
deleted file mode 100644
index 3cf1b16..0000000
--- a/scripts/configdiff.py
+++ /dev/null
@@ -1,48 +0,0 @@
-import os
-import sys
-
-from conf import conf
-import utils
-
-
-def check():
-	"""Check if .config file in kernel tree is consistent with generated solution.
-	This containst code fragments from solution.py (apply)
-	"""
-	# Check if solution_file exist
-	if not os.path.isfile(conf.solution_file):
-		raise Exception("Solution file is missing. Run sat_solution and check existence of " + conf.solution_file)
-
-	utils.build_symbol_map() # Ensure smap existence
-	srmap = {value:key for key, value in utils.smap.items()}
-
-	# Read solution if satisfiable
-	with open(conf.solution_file, 'r') as f:
-		if not f.readline().rstrip() == 'SAT':
-			raise NoSolution()
-		solut = f.readline().split()
-	solut.remove('0') # Remove 0 at the end 
-	solutb = []
-	for sl in solut: # This is using that sat. solver output is sorted
-		if sl[0] == '-':
-			solutb.append(False)
-		else:
-			solutb.append(True)
-
-	mismatch = False
-	with open(conf.linux_sources + '/.config', 'r') as f:
-		for line in f:
-			if (line[0] == '#') or (not '=' in line):
-				continue
-			indx = line.index('=')
-			if (line[indx + 1] == 'y'):
-				if (solutb[int(srmap[line[7:indx]]) - 1] == False):
-					print("W: Setting mismatch: " + line, end='')
-					mismatch = True
-			if (line[indx + 1] == 'm'):
-				print("W: module setting find: " + line, end='')
-			elif (line[indx + 1] == 'n'):
-				if (solutb[int(srmap[line[7:indx]]) - 1] == True):
-					print("W: Setting mismatch: " + line, end='')
-					mismatch = True
-	return mismatch